Generic programming - PDFSEARCH.IO - Document Search Engine

Generic programming
Results: 1118

#	Item
191	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing
192	Microsoft Word - p1_kern.doc Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-06-17 11:17:27 Computing Systems engineering Domain-specific modeling Modeling language Model-driven engineering Metamodeling Visual programming language Domain-specific language Generic Modeling Environment Software engineering Unified Modeling Language Scientific modeling
193	Draft for submission to HaskellDependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-07-24 01:40:03 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Generic programming Algebraic data type Kind Software engineering Type theory Computing
194	Templatized Primitive Method Idiom Bosko Zivaljevic Cisco Systems 2302 Fox Drive, Suite A Champaign, IL 61820 Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:17:59 C++ Object-oriented programming Generic programming Method Iterator Virtual function Design Patterns Sequence container Template Software engineering Computing Computer programming
195	Efficient Performance Essential Performance Add to Reading List Source URL: wwwsfb.tpi.uni-jena.de Language: English - Date: 2011-10-10 09:57:22 Parallel computing Application programming interfaces Profilers Generic programming Threads Intel Fortran Compiler Intel Debugger Intel C++ Compiler Intel Parallel Studio Computing Computer programming Concurrent computing
196	Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-01-14 14:05:32 Type theory Computer programming Polymorphism Data types Generic programming Covariance and contravariance Subtype polymorphism Parametric polymorphism Type system Software engineering Computing Object-oriented programming
197	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
198	License Copyright (c) 2006–2008 Ciaran McHale Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software w Add to Reading List Source URL: www.ciaranmchale.com Language: English - Date: 2008-05-17 08:15:42 Concurrency control C++ Method Generic programming Concurrency Producer-consumer problem Lock Critical section POSIX Threads Software engineering Computing Computer programming
199	RPGIV Template Documentation Version 2.0 USER’S GUIDE Revised May 19, 2004 Add to Reading List Source URL: dodbu.com Language: English - Date: 2014-01-24 15:13:18 Generic programming C++ Scripting languages Meta-programming Template Pan AS/400 Control Language Subroutine Software engineering Computing Computer programming
200	Generic Synchronization Policies 1 License Copyright (c) 2006–2008 Ciaran McHale Permission is hereby granted, free of charge, to any person obtaining a copy of this Add to Reading List Source URL: www.ciaranmchale.com Language: English - Date: 2008-05-17 08:15:45 Concurrency control Method C++ Concurrency Producer-consumer problem Lock Critical section POSIX Threads Constructor Computing Computer programming Software engineering

UPDATE